Alt på ett kort

Epigram reloaded: a standalone typechecker for ETT

Epigram 1 [18, 3] is at the same time a functional programming language with dependent types and a type-driven, interactive program development system. Epigram’s type system is strong enough to express a wide range of program properties, from basic structural invariants to full specifications. The system supports the interactive development of programs exploiting types to direct the design proc...

eTT sucTioning in neonaTes and infanTs

The endotracheal tube (eTT) is the most common artificial airway used in NICUs. Suctioning of the eTT is imperative to maintain patency and prevent complications. An extensive review of the literature revealed a lack of standardized criteria or guidelines for suctioning the eTT of neonates and infants in the NICU. The purpose of this article is to report the implementation of an evidencebased g...

Alt HealthWatch

Drug-related morbidity and mortality: Pharmacoepidemiological aspects

Idag finns det säkra och effektiva behandlingar mot många sjukdomar. Läkemedel är den vanligaste behandlingsformen i sjukvården och under 2006 hämtade sex miljoner svenskar (68%) ut ett eller fler recept på ett apotek i Sverige. Även om läkemedelsbehandling har många positiva effekter kan även oönskade och skadliga effekter vid läkemedelsbehandling uppkomma, dvs. läkemedelsbiverkningar. Innan e...

Et informatikkperspektiv på norsk lovgivning om karakterklager i høyere utdanning

KD har i en nylig proposisjon foreslått endringer av klagesensurordningen, hvor det legges opp til at en modell med blind omsensur, som allerede har vært brukt ved en del læresteder, nå skal gjøres obligatorisk for alle læresteder. I denne artikkelen sammenlignes gammel og ny klagesensurordning med ordningene i en del andre land. Vi diskuterer ulike typer sensurfeil (med eksempel fra programmer...